Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
601	Test Generation for Robotized Paint Systems using Constraint Programming in a Continuous Integration Environment ∗ ABB Morten Mossige∗‡ , Arnaud Gotlieb† , Hein Meling‡ Add to Reading List Source URL: www.ux.uis.no Language: English - Date: 2014-11-29 05:01:28 Software engineering Industrial robot Robot Integration testing Constraint programming Test automation THE multiprogramming system Software testing Technology Business
602	Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros InfoSpace.com 2801 Alaskan Way, Suite 200 Seattle, WA 98121, USA [removed] Add to Reading List Source URL: www.jeffreynichols.com Language: English - Date: 2014-04-05 12:47:08 Graphical user interfaces Constraint programming Cassowary Scwm X window manager FVWM Emacs Lisp Emacs SCIP Software System software Computing
603	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
604	SOPRANO : SMT meets CP ProofInUse KickOff \| F.Bobot 2 February Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2015-02-06 04:11:21 Computer programming Declarative programming Solver Constraint programming Theoretical computer science Software engineering
605	Einführung in die qualitative Systemanalyse Add to Reading List Source URL: www.cross-impact.de Language: English - Date: 2014-05-30 15:23:47 Constraint programming Local consistency Scenario
606	17 Constrained Optimization indent best frequently has constraints nutrition groceries ~g ≥ 0 prices ~ Add to Reading List Source URL: fab.cba.mit.edu Language: English - Date: 2014-05-06 11:25:14 Applied mathematics Lagrange multiplier Karush–Kuhn–Tucker conditions Quadratic programming Constraint Linear programming Mathematical optimization Mathematical analysis Mathematics
607	Testing Robotized Paint System using Constraint Programming: An Industrial Case Study Morten Mossige1,3 , Arnaud Gotlieb2 , and Hein Meling3 1 Add to Reading List Source URL: www.ux.uis.no Language: English - Date: 2014-11-29 05:01:28 Industrial robot Robotics Robot Quality assurance Test automation Integration testing Software testing Technology Business
608	Privacy Preserving Auctions Shh… Others do not know what I am bidding for! Lab: Artificial Intelligent Laboratory Prof Boi Falti Add to Reading List Source URL: lia.epfl.ch Language: English - Date: 2014-12-12 08:44:43 Auction theory Auctioneering Business models Business Auction DCOP Computing Software Mathematical optimization Constraint programming Distributed constraint optimization
609	a YAP User’s Manual Version[removed]V´ıtor Santos Costa, Add to Reading List Source URL: www.dcc.fc.up.pt Language: English - Date: 2010-08-04 13:47:19 Constraint programming Prolog Logtalk YAP Logic programming Constraint Handling Rules Warren Abstract Machine Cygwin CLP Computing Software engineering Software
610	Sceptic User Manual September 1989, revised March 1990 Version 3.0, December 1990 Saki Hajnal John Fox Paul Krause Add to Reading List Source URL: cogent.psyc.bbk.ac.uk Language: English - Date: 2012-01-10 15:14:11 Prolog Logic programming Programming paradigms Production system Constraint programming B-Prolog Software engineering Computer programming Computing

UPDATE